---------------------------
--- Adding print to IMP ---
---------------------------

This directory shows how to add a print statement to IMP,
following each of the semantical approaches discussed in Chapter 3.

Each subdirectory is dedicated to one corresponding semantic approach
and shows what changes are necessary to the existing definition of IMP
in order to add the print statement.  In all cases, print only takes
integer values and these are collected in an output buffer that needs
to be appropriately incorporated in each semantics.

The files builtins.maude and state.maude, which are shared by all semantics,
stay unchanged.  The files imp-syntax.maude and imp-programs.maude, also
shared by all semantics, change as follows:
- imp-syntax.maude: Adds syntax for the print statement.
- imp-programs.maude: Adds a new program, sumPrintPgm, that makes use of print.

One additional file is added, output.maude, which defines the output buffer
that is needed by all semantics.
